A Hardware/Software Co-design and Co-verification on a Novel Embedded Object-Oriented Processor
نویسندگان
چکیده
In the past, programming language are procedural, the design concept is based on the module and scope which are difficult to manage, but nowadays, the programming trend is Object-Oriented Programming (OOP), where objects are the key elements to build up application and the communications between different objects are through method invocation. A novel objectoriented processor offers an opportunity to enhance the system security, performance and provides a more effective way to manipulate OOP instead of using a software Virtual Machine. jHISC is a novel object-oriented processor which provides a natural way to map the concept of OOP into architectural level through the hardware object data structure. Our solution is to design secure hardware object data structures on a novel processor with Just-In-Time compilation for Java which then makes it possible to implement complex OO related bytecodes at hardware level and access some fields of object in parallel to improve the execution speed. It mainly targets J2ME and implements about 93% bytecodes and 83% OO related bytecodes in hardware directly.
منابع مشابه
The ODYSSEY Tool-Set for System-Level Synthesis of Object-Oriented Models
We describe implementation of design automation tools that we have developed to automate system-level design using our ODYSSEY methodology, which advocates object-oriented (OO) modeling of the embedded system and ASIP-based implementation of it. Two flows are automated: one synthesizes an ASIP from a given C++ class library, and the other one compiles a given C++ application to run on the ASIP ...
متن کاملEffective Heterogenous Design and Co-simulation
In this chapter, we consider the problem of system-level design where subsystems are diverse. As a concrete example, consider an embedded system with the architecture shown in figure 1 (after [5]). The subsystems are implemented in both hardware and software, making this architecture a suitable candidate for hardware/software co-design. But even within the software portions, there is diversity....
متن کاملComponent-based hardware/software co-verification for building trustworthy embedded systems
We present a novel component-based approach to hardware/software co-verification of embedded systems using model checking. Embedded systems are pervasive and often mission-critical, therefore, they must be highly trustworthy. Trustworthy embedded systems require extensive verification. The close interactions between hardware and software of embedded systems demand co-verification. Due to their ...
متن کاملA Synchronous Object Oriented Design Flow for EmbeddedApplicationsP
SODOI (Synchronous Object Oriented Design FlOw for Embedded ApplIcations) is a design ow for the development of embedded systems. It is based on the language synchronous Eifel (sE) which uniies the synchrony hypothesis with OO design principles. sE uses a compact and optimized intermediate representation of Synchronous Automatons which allows to apply both hardware evaluation and software optim...
متن کاملObject-Oriented Modeling and Co-Simulation of Embedded Systems
This paper presents the modeling and co-simulation capabilities of S 3 E 2 S, a design environment for electronic systems that can be built as a combination of analog and digital parts and software. S 3 E 2 S is based on a distributed, object-oriented system model, where abstract objects are initially used to express complex behavior and may be later refined into digital or analog hardware and ...
متن کامل